(Vtool_bar_button_margin): Replaces tool_bar_button_margin.
authorGerd Moellmann <gerd@gnu.org>
Fri, 12 Jan 2001 15:12:10 +0000 (15:12 +0000)
committerGerd Moellmann <gerd@gnu.org>
Fri, 12 Jan 2001 15:12:10 +0000 (15:12 +0000)
commitacfd0ffbbd494a103f21946e1239afb8b5adf5fa
tree03399eccd86e34e2af776f42aeff21603533c59d
parentdc0559d0a3c12b55d181d6eb6215909145af6cf2
(Vtool_bar_button_margin): Replaces tool_bar_button_margin.
(build_desired_tool_bar_string): Handle Vtool_bar_button_margin
being a pair of margins.
(syms_of_xdisp): Change DEFVAR_INT of tool-bar-button-margins
to DEFVAR_LISP.  Extend doc.
src/xdisp.c